Andrej Bauer, Davorin Lešnik, Metric Spaces in Synthetic Topology, 2010 (pdf)
Davorin Lešnik, Unified Approach to Real Numbers in Various Mathematical Settings, 2014 (arXiv:1402.6645)
Davorin Lešnik, Synthetic Topology and Constructive Metric Spaces, PhD, 2010 (arXiv:2104.10399)
Last revised on May 12, 2022 at 13:41:34. See the history of this page for a list of all contributions to it.